Micron Document
Livres et Wikis | Archives | Info


Supporting functional
layout: Wide Β· Narrow Β· Centered
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
In convex analysis and mathematical optimization, the supporting functional is a generalization of the supporting hyperplane of a set.

Contents

β€’ References

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Mathematical definition

Let X be a locally convex topological space, and C βŠ‚ X {\displaystyle C\subset X} be a convex set, then the continuous linear functional Ο• : X β†’ R {\displaystyle \phi :X\to \mathbb {R} } is a supporting functional of C at the point x 0 {\displaystyle x_{0}} if Ο• β‰  0 {\displaystyle \phi \not =0} and Ο• ( x ) ≀ Ο• ( x 0 ) {\displaystyle \phi (x)\leq \phi (x_{0})} for every x ∈ C {\displaystyle x\in C} .cite-ref-1[1]

Relation to support function

If h C : X βˆ— β†’ R {\displaystyle h_{C}:X^{*}\to \mathbb {R} } (where X βˆ— {\displaystyle X^{*}} is the dual space of X {\displaystyle X} ) is a support function of the set C, then if h C ( x βˆ— ) = x βˆ— ( x 0 ) {\displaystyle h_{C}\left(x^{*}\right)=x^{*}\left(x_{0}\right)} , it follows that h C {\displaystyle h_{C}} defines a supporting functional Ο• : X β†’ R {\displaystyle \phi :X\to \mathbb {R} } of C at the point x 0 {\displaystyle x_{0}} such that Ο• ( x ) = x βˆ— ( x ) {\displaystyle \phi (x)=x^{*}(x)} for any x ∈ X {\displaystyle x\in X} .

Relation to supporting hyperplane

If Ο• {\displaystyle \phi } is a supporting functional of the convex set C at the point x 0 ∈ C {\displaystyle x_{0}\in C} such that

Ο• ( x 0 ) = Οƒ = sup x ∈ C Ο• ( x ) > inf x ∈ C Ο• ( x ) {\displaystyle \phi \left(x_{0}\right)=\sigma =\sup _{x\in C}\phi (x)>\inf _{x\in C}\phi (x)}

then H = Ο• βˆ’ 1 ( Οƒ ) {\displaystyle H=\phi ^{-1}(\sigma )} defines a supporting hyperplane to C at x 0 {\displaystyle x_{0}} .cite-ref-2[2]

References

cite-note-11. ↑ citerefpallaschkerolewicz1997Pallaschke, Diethard; Rolewicz, Stefan (1997). Foundations of mathematical optimization: convex analysis without linearity. Springer. p. 323. ISBN 978-0-7923-4424-7.
cite-note-22. ↑ citerefborweinlewis2006Borwein, Jonathan; Lewis, Adrian (2006). Convex Analysis and Nonlinear Optimization: Theory and Examples (2 ed.). Springer. p. 240. ISBN 978-0-387-29570-1.